#!/bin/bash

pushd "$(dirname $0)" >/dev/null && source common.sh && popd >/dev/null
set_up_symlinks
update_hgignore

$PYTHON $TOOLS_DIR/console.py "$@"
